Functional Distance: An Operational Approach*

Supporting Reasoning about Functional Programs: An Operational Approach

Some existing systems for supporting reasoning about functional programs have been constructed without first formalising the semantics of the language. This paper discusses how a reasoning system can be built, within the HOL theorem proving environment, based on an operational semantics for the language and using a fully definitional approach. The theoretical structure of the system is based on...

An Operational Approach

Computer performance modeling of possibly complex computations running on highly concurrent systems is considered. Earlier work in this area either dealt with a very simple program structure or resulted in methods with exponential complexity. An efficient procedure is developed to compute the performance measures for series-parallel-reducible task systems using queueing network models. The proc...

An iterative approach for estimation of efficiency by weighted distance

Structural-Functional Dynamism: An Alternative Approach to Spatial

Spatial planning approaches along with complication of societies are being changed. These changes and transformations have reflected themselves in increasing diversification of economic patterns, people, group, organization, and institution’s mobility. While in less developed network societies some of the concepts including “distance” and “movement “are relatively losing their importance , some...

Convergence of an Approach for Solving Fredholm Functional Integral Equations

In this work, we give a product Nyström method for solving a Fredholm functional integral equation (FIE) of the second kind. With this method solving FIE reduce to solving an algebraic system of equations. Then we use some theorems to prove the existence and uniqueness of the system. Finally we investigate the convergence of the method.